<?php
if ($argc !== 2) {
	exit(1);
}
if (!file_exists($argv[1])) {
	exit(1);
}
include $argv[1];
$a = get_defined_constants(1);
echo serialize($a["user"]);

